証明 - 数学および論理学で、真であると認められているいくつかの命題から、ある命題が正しいことを論理的に導くこと。